-
1 Formal Method(s)
Abbreviation: FM -
2 Formal Method
Abbreviation: (s) FM -
3 формальный метод
-
4 формальный метод
-
5 формальный метод
-
6 формальный метод
Бизнес, юриспруденция. Русско-английский словарь > формальный метод
-
7 формальный метод
formal method мат.Русско-английский научно-технический словарь Масловского > формальный метод
-
8 формальный метод: метод проектирования программ, в котором используется язык формальных спе
Универсальный русско-английский словарь > формальный метод: метод проектирования программ, в котором используется язык формальных спе
-
9 формальный метод
1) Mathematics: formal method2) Information technology: formal approach -
10 упрощенный формальный метод
lightweight formal method матем.Русско-английский словарь по вычислительной технике и программированию > упрощенный формальный метод
-
11 формальный аксиоматический метод
Русско-английский физический словарь > формальный аксиоматический метод
-
12 формальный
-
13 формальный
(в разн. знач.) formalформа́льная ло́гика — formal logic
форма́льное отноше́ние (к де́лу) — formal / disinterested attitude
форма́льный отка́з — formal denial
форма́льное согла́сие — formal agreement
форма́льный ме́тод — formalistic method
-
14 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
15 вывод
conclusion, deduction, inference, derivation• Второй метод вывода уравнения (1) формулируется следующим образом. - A second method of obtaining (1) is as follows.• Вывод из всего этого состоит в том, что... - The outcome of all this is that...• Другой способ вывода этих формул основан на... - Another way of deriving these formulas is based on...• Заметьте, что этот вывод не ограничен (чем-л). - Notice that this derivation is not restricted to...• Из данного обсуждения не следует делать вывод, что... -It should not be inferred from this discussion that...• Из способа вывода данного уравнения будет видно, что... - From the way in which this equation has been obtained, it will be seen that...• Можно сделать вывод, что... - It may be concluded that...; It may be deduced that...• Относительно строгого вывода соотношения (12) читатель должен обратиться к работе Смита [1]. - For a rigorous derivation of (12) the reader is referred to Smith [1].• Подробный вывод показал бы, что... - A detailed derivation would show that...• Полный вывод дается Джонсом [1]. - The derivation is given in full by Jones [1].• Похоже, что неизбежно напрашивается вывод о том, что... - There seemed no escaping the conclusion that...• Практическим выводом (из этого) является то, что... - The practical implication is that...• При выводе большинства этих свойств отправной точкой служит наблюдение, что... - In establishing most of these properties the starting point is the observation that...• При выводе данного уравнения мы использовали тот важный факт, что... - In deriving the above equation we have used the important fact that...• Результат, представленный формулой (9), очень полезен при выводе свойств (чего-л). - The result (9) is very useful for deducing properties of...• Формальный вывод (соотношения, уравнения и т. п.) дается ниже. - A formal derivation is given below.• Формальный вывод (этого соотношения) приводится во втором параграфе. - A formal derivation is given in Section 2.• Эти два вывода совместно показывают, что... - These two results together show that...• Это приводит к выводу, что... - This carries the implication that...• Этот вывод (формулы) должен быть тщательно исследован, потому что... - The derivation should be studied closely because... -
16 давать
(= дать, обеспечивать, см. также даваться) give, produce, yield, furnish, contribute, offer, afford, give rise to, result in, provide, lead to• В данный момент невозможно дать... - It is not possible at this time to give...• В следующей главе мы дадим количественное представление... - In the next chapter we give a more quantitative account of...• В этом параграфе мы даем краткое введение в... - In this section we give a brief introduction to...• Все вероятности, сложенные вместе, в сумме должны дать единицу. - All the probabilities taken together must add up to 1.• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Давайте рассмотрим детально... - Let us look in detail at...• Дадим этому формальное доказательство. - The formal proof is as follows.• Данная классификация почти ничего не дает нам относительно... - This classification tells us very little about...• Значение наших методов состоит в том, что они дадут... - The significance of our methods is that they will yield...• Метод дал улучшение результатов (= улучшенные результаты). - The method gave improved results.• Мы дадим несколько эквивалентных формулировок (чего-л). - We will give some equivalent formulations of...• Мы можем дать альтернативное определение... - It is possible to give an alternative definition of...• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Особое рассмотрение должно быть дано (= Необходимо особо рассмотреть)... - Special consideration must be given to...• Перед тем как продолжить (обсуждение), мы прервемся, чтобы дать... - Before going further we pause to give...• Повторное применение соотношения (1) дает соотношение (2). - Repeated application of (1) gives (2).• Подстановка этих значений дает нам... - Substituting these values gives us...• Пусть дан... - Given...; Let there be given...• Пусть дано значение xq. - Suppose xq is given,• Следующая теорема дает (= описывает) условия, при которых... - The following theorem gives conditions under which...• Тем не менее, развитые нами методы дают основание для... - However, the methods we have developed provide a basis for...• Теперь мы дадим краткое заключение (о)... - We now give a brief account of...• Чтобы ответить на этот вопрос, давайте... - То answer this question, let us...• Чтобы показать, что это невозможно, давайте... - То show that this is not possible, let...• Чтобы установить соотношение (1), давайте... - То establish (1), let us...• Эта книга дает современное описание... - This book provides an up-to-date description of...• Это дает основание ожидать, что... - This causes us to anticipate that...• Это дает основание полагать, что... - This suggests that...• Это даст нам необходимую характеристику (чего-л). - This will give us the required characterization of...• Это уже дает некоторую информацию относительно... - This already gives some information about...• Этот метод дает хорошие результаты только если... - The method works well only if...• Этот результат дает более точное необходимое условие для... - This provides a sharper necessary condition for...• Этот случай дает прекрасный пример (чего-л). - This case provides an excellent example of... -
17 метод кратных масштабов
Mathematics: (the formal perturbation procedure known as the) method of multiple scales (or in its simplest form two-timing relies on...)Универсальный русско-английский словарь > метод кратных масштабов
-
18 метод формального титрования
Makarov: formal-titration method (белка)Универсальный русско-английский словарь > метод формального титрования
-
19 формальный аксиоматический метод
Makarov: formal axiomatic methodУниверсальный русско-английский словарь > формальный аксиоматический метод
-
20 вычисление
(см. также результат) calculation, calculating, computation, evaluation• Более точное вычисление показывает, что... - A more exact calculation shows that...• Более тщательные вычисления, проделанные Смитом [1], дают... - A more accurate calculation by Smith [1] gives...• Вычисления были выполнены... - The calculations were performed (by)...• Вычисления вручную имеют тот недостаток, что... - Hand calculations have the disadvantage that...• Вычисления показали, что... - Computations have shown that...• Вычисления слегка упрощаются, если... - The computational work simplifies somewhat if...• Вычисления, в основном, являются такими же, как... - The calculations are essentially the same as...• Читателю предоставляется проделать это простое вычисление в деталях. - The details of this straightforward computation are left to the reader.• Довольно громоздкое вычисление показывает, что... - A somewhat lengthy computation shows that...• Довольно простые вычисления показывают, что... - A rather easy calculation shows that...• Затем небольшое вычисление, использующее лемму 3, приводит к тому, что... - Then a little calculation using Lemma 3 yields that...• Намеченные выше вычисления показывают, что... - The calculations outlined above show that...• Однако при вычислении величины W мы должны принять во внимание тот факт, что... - In computing W, however, we must take into account the fact that...• Остальная часть леммы 2 следует из весьма простых вычислений. - The rest of Lemma 2 follows by a very easy calculation.• Подобные вычисления выявляют, что... - Similar computations reveal that...• Подобные решения наиболее полезны для вычисления... - Such solutions are most useful for calculating...• Подробные вычисления затрудняются вследствие проблем, возникающих из... - Detailed calculations are beset with difficulties arising from...• Пример послужит для демонстрации выполнения этого вычисления. - An example will serve to show how the calculation is carried out.• Реальные вычисления, однако, показывают, что... - Actual computations show, however, that...• Смит [1] предложил метод вычисления... - Smith [1] has proposed a method of calculating...• Стандартные вычисления показывают, что... - A routine calculation shows that...• Таким образом, наша задача сводится к вычислению... - Our problem becomes, therefore, one of evaluating...• Только что проделанные вычисления показывают нам, что... - The result just calculated shows us that...• Точное вычисление выражения (10) было бы трудным. - A precise evaluation of (10) would be difficult.• Уравнение (4) часто используется как базис для вычислений... - Equation (4) is often used as a basis for the calculation of...• Формальные вычисления показывают, что... - A formal calculation shows that...• Чтобы упростить вычисления, введем... - То simplify the computations, we introduce...• Эти вычисления слегка усложняются вследствие... - The calculations are made slightly more complicated by...• Это уравнение может быть использовано для вычисления амплитуды... - This equation can be used to calculate the magnitude of...
- 1
- 2
См. также в других словарях:
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
Formal — Form al (f[^o]rm al), a. [L. formalis: cf. F. formel.] 1. Belonging to the form, shape, frame, external appearance, or organization of a thing. [1913 Webster] 2. Belonging to the constitution of a thing, as distinguished from the matter composing … The Collaborative International Dictionary of English
Formal cause — Formal Form al (f[^o]rm al), a. [L. formalis: cf. F. formel.] 1. Belonging to the form, shape, frame, external appearance, or organization of a thing. [1913 Webster] 2. Belonging to the constitution of a thing, as distinguished from the matter… … The Collaborative International Dictionary of English
Method acting — is a phrase that loosely refers to a family of techniques used by actors to create in themselves the thoughts and emotions of their characters, so as to develop lifelike performances. It can be contrasted with more classical forms of acting, in… … Wikipedia
Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Formal charge — 2006, 83, 791. [http://www.jce.divched.org/Journal/Issues/2006/May/abs791.html Abstract] ] .The formal charge can be calculated by the following equation:FC = number of valence electrons of the atom number of lone pair electrons on this atom half … Wikipedia
